1. Admissibility of logical inference rules
Author: Rybakov, Vladimir V. (Vladimir Vladimir)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic, Symbolic and mathematical ► Inference
Classification :
9
.
R986
2. Admissibility of logical inference rules
Author: Rybakov, Vladimir Vladimir
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic, Symbolic and mathematical , Inference
Classification :
QA
9
.
R986
1997
3. Admissibility of logical inference rules
Author: Rybakov, Vladimir V. )Vladimir Vladimir(
Library: Central Library and Documentation Center (Semnan)
Subject: ، Logic, Symbolic and mathematical,، Inference
Classification :
QA
9
.
R986
1997
4. Around and beyond the square of opposition
Author: Jean-Yves Béziau, Dale Jacquette, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Inference,Logic, Symbolic and mathematical,Opposition, Theory of
Classification :
QA9
.
A76
2012eb
5. Artificial intelligence for big data :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
Classification :
QA76
.
9
.
B45
.
D474
2018eb
6. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
7. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
8. Coditional inference and logic for interlligent systems
Author: / I.R. Goodman, H.T. Nguyen and E.A. Walker
Library: Library of Economics (Tehran)
Subject: Expert systems (computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95G67
1991
9. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
10. Distributed Fuzzy Control of Multivariable Systems
Author: by Alexander Gegov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Systems theory.
11. Fuzzy Approach to Reasoning and Decision-Making :
Author: edited by Vilém Novák, Jaroslav Ramík, Milan Mareš, Martin Černý, Jiří Nekola.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
12. Fuzzy Logic :
Author: W Leinfellner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
13. Fuzzy Sets, Logics and Reasoning about Knowledge
Author: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
14. Fuzzy Sets in Approximate Reasoning and Information Systems
Author: edited by James C. Bezdek, Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
15. Fuzzy Systems
Author: edited by Hung T. Nguyen, Michio Sugeno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
16. Grammatical inference
Author: / Josae M. Sempere, Pedro Garcaia (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA267
.
3
.
I55
2010
17. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings
Author: Laurent Miclet, Colin de la Higuera )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1147
18. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
Author: Georgios Paliouras, Yasubumi Sakakibara )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3264
19. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
Author: Arlindo L. Oliveira )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1891
20. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
Author: Yasubumi Sakakibara....]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4201
